0
EUR
00,00*
Warenkorb EUR 00,00 *
Filter
    Erweiterte Suche
    Konto anlegen
    1. Startseite
    2. Formal Methods Of Computing – alle Bücher

    Trefferliste "Formal Methods Of Computing" - alle Bücher

    Wir konnten keine exakten Treffer zu Ihrer Suche nach "Formal Methods of Computing" finden. Könnten diese Produkte zu Ihrer Suche passen?

    Ansicht:

    The Practice of Formal Methods

    This Festschrift, dedicated to Cliff Jones, contains papers written by many of his closest collaborators. Cliff has an exceptional international standing for his groundbreaking research and leadership wit…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 72,27

    The Application of Formal Methods

    This Festschrift, dedicated to Jim Woodcock, contains papers written by many of his closest collaborators. After a PhD on software verification at the University of Liverpool, Jim has combined a successf…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 72,27

    The Practice of Formal Methods

    This Festschrift, dedicated to Cliff Jones, contains papers written by many of his closest collaborators. Cliff has an exceptional international standing for his groundbreaking research and leadership wit…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 72,27

    Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

    Lecture Notes in Computer Science -Band 15223

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 54,75

    Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

    Lecture Notes in Computer Science -Band 15222

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 72,27

    Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

    Lecture Notes in Computer Science -Band 15221

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 81,04

    Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

    Lecture Notes in Computer Science -Band 15220

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 72,27

    Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

    Lecture Notes in Computer Science -Band 15219

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 81,04

    TOOLympics Challenge 2023

    Lecture Notes in Computer Science -Band 14550

    TOOLympics 2023 was the third edition of a series of events to showcase competitions in the area of formal methods, colocated with the European Joint Conferences on Theory and Practice of Software (ETAPS …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 54,75

    Gustavus Woodson Smith
    Life insurance; legal net values; a popular treatise on the method of computing the net value of life policies and showing the nature and proper uses of this fund

    Reprint of the original, first published in 1879. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 32,90

    Gustavus Woodson Smith
    Life insurance; legal net values; a popular treatise on the method of computing the net value of life policies and showing the nature and proper uses of this fund

    Reprint of the original, first published in 1879. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 11,90
    Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.
    © jpc-Schallplatten-Versandhandelsgesellschaft mbH